partially decidable problem

部分可解问题